perm filename ATC.UNF[MRS,LSP]9 blob
sn#686869 filedate 1982-11-09 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP))
'(ASSEMBLED BY FASLAP /392)
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117)
;COMPILED ON NOVEMBER 9, 1982, AT 11:09 AM
;Loading DEFSTRUCT 233
'↑↓-TERM
'LT-QUANTIFIER
'ROLELINK
'PFC-FORMULA
'ROLEXENTRY
'LT-λ-EXPR
'LT-λ-PREFIX
'PATHKEYLIST
(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR))
(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR))
(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR))
(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR))
(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR))
(COMMENT **FASL** 303. (LAP |LAMBDA-OPR MACRO| SUBR))
(COMMENT **FASL** 332. (LAP |E:DO MACRO| SUBR))
(COMMENT **FASL** 360. (LAP |E:VAR MACRO| SUBR))
(COMMENT **FASL** 392. (LAP E:SETLINE SUBR))
(COMMENT **FASL** 430. (LAP |ADDCONC MACRO| SUBR))
(COMMENT **FASL** 468. (LAP |ENDCONC MACRO| SUBR))
(COMMENT **FASL** 517. (LAP |ENDADD MACRO| SUBR))
(COMMENT **FASL** 572. (LAP |RASSQ MACRO| SUBR))
(COMMENT **FASL** 621. (LAP |EDITXDO MACRO| SUBR))
(COMMENT **FASL** 675. (LAP |EDITDO MACRO| SUBR))
(COMMENT **FASL** 713. (LAP |COPYLIST MACRO| SUBR))
(COMMENT **FASL** 739. (LAP |BUTLAST MACRO| SUBR))
(COMMENT **FASL** 770. (LAP |REPEAT MACRO| SUBR))
(COMMENT **FASL** 810. (LAP |SETF* MACRO| SUBR))
(COMMENT **FASL** 846. (LAP |SOME MACRO| SUBR))
(COMMENT **FASL** 911. (LAP |SUBSET MACRO| SUBR))
(COMMENT **FASL** 961. (LAP GOOD-NREVERSE SUBR))
(COMMENT **FASL** 1018. (LAP NSUBLIS SUBR))
(COMMENT **FASL** 1078. (LAP |HUNKQUANTP MACRO| SUBR))
(COMMENT **FASL** 1113. (LAP QNSUBLIS SUBR))
(COMMENT **FASL** 1248. (LAP |CONDCARPUSH MACRO| SUBR))
(COMMENT **FASL** 1310. (LAP |WRITE MACRO| SUBR))
(COMMENT **FASL** 1389. (LAP SPACES SUBR))
(COMMENT **FASL** 1406. (LAP |NORMALIZE-CONNECTIVE MACRO| SUBR))
(COMMENT **FASL** 1436. (LAP LINTYPE SUBR))
(COMMENT **FASL** 1639. (LAP E-LIN SUBR))
(COMMENT **FASL** 1640. (LAP E-LIN-C SUBR))
(COMMENT **FASL** 1644. (LAP ENCODE-LINFORMULA SUBR))
(COMMENT **FASL** 1654. (LAP |SETUPQUANTS MACRO| SUBR))
(COMMENT **FASL** 1703. (LAP |ORDER-PATHKEYS MACRO| SUBR))
(COMMENT **FASL** 1729. (LAP ENCODE-LINFORMULA-S SUBR))
(COMMENT **FASL** 2012. (LAP TRANSFORM-ROLELINKS SUBR))
(COMMENT **FASL** 2143. (LAP |NORMALIZE-DETERMINER MACRO| SUBR))
(COMMENT **FASL** 2207. (LAP ENCODE-QUANT SUBR))
(COMMENT **FASL** 2407. (LAP VARIABLE-RANGE SUBR))
(COMMENT **FASL** 2450. (LAP GETFORMULA SUBR))
(COMMENT **FASL** 2477. (LAP |ATC-GET MACRO| SUBR))
(COMMENT **FASL** 2537. (LAP |ATC-PLIST MACRO| SUBR))
(COMMENT **FASL** 2616. (LAP Q-KERNEL SUBR))
(COMMENT **FASL** 2631. (LAP Q-KERNEL-LT-TYPE SUBR))
(COMMENT **FASL** 2633. (LAP LT-TYPE SUBR))
(COMMENT **FASL** 2844. (LAP LT-TYPE* SUBR))
(COMMENT **FASL** 3030. (LAP DISPLAY LSUBR))
(COMMENT **FASL** 3054. (LAP DPYLIST SUBR))
(COMMENT **FASL** 3071. (LAP VNSUBLIS SUBR))
(COMMENT **FASL** 3098. (LAP |INITIALIZE-GENVARINDEX MACRO| SUBR))
(COMMENT **FASL** 3107. (LAP GENVAR LSUBR))
(COMMENT **FASL** 3240. (LAP |TERMSORT-VARANGE MACRO| SUBR))
(COMMENT **FASL** 3271. (LAP MAKE-QVLIST SUBR))
(COMMENT **FASL** 3464. (LAP |UNARY-ATOMIC MACRO| SUBR))
(COMMENT **FASL** 3511. (LAP |NOPAREN-DISJUNCT MACRO| SUBR))
(COMMENT **FASL** 3520. (LAP |DPYLIST-ROLINK MACRO| SUBR))
(COMMENT **FASL** 3588. (LAP |MAKE-↑↓-[-ATOM MACRO| SUBR))
(COMMENT **FASL** 3620. (LAP |Z-BASE-EQUIV MACRO| SUBR))
(COMMENT **FASL** 3652. (LAP DPYLIST-S SUBR))
(COMMENT **FASL** 4405. (LAP TCONC SUBR))
(COMMENT **FASL** 4436. (LAP LCONC SUBR))
(COMMENT **FASL** 4474. (LAP TERMSORT SUBR))
(COMMENT **FASL** 4582. (LAP NORMALIZE-TERMSORTEXPR SUBR))
(COMMENT **FASL** 4626. (LAP |PRINCLIST MACRO| SUBR))
(COMMENT **FASL** 4653. (LAP |PRINSOURCECHUNK MACRO| SUBR))
(COMMENT **FASL** 4662. (LAP |GETSBQLINE MACRO| SUBR))
(COMMENT **FASL** 4737. (LAP |NEXTITEMSIZE MACRO| SUBR))
(COMMENT **FASL** 4765. (LAP |PRINITEMS MACRO| SUBR))
(COMMENT **FASL** 4829. (LAP |PRINSUBQUANT1 MACRO| SUBR))
(COMMENT **FASL** 4862. (LAP |PRINSUBQUANT2 MACRO| SUBR))
(COMMENT **FASL** 4895. (LAP |GETQUANTLINE MACRO| SUBR))
(COMMENT **FASL** 4946. (LAP |GETλ-LINE MACRO| SUBR))
(COMMENT **FASL** 4995. (LAP |MAXVARIABLENGTH MACRO| SUBR))
(COMMENT **FASL** 5030. (LAP |SPACELEFT MACRO| SUBR))
(COMMENT **FASL** 5039. (LAP STRAIGHTPRIN SUBR))
(COMMENT **FASL** 5303. (LAP PRINQUANT SUBR))
(COMMENT **FASL** 5580. (LAP PRINλ-EXPR SUBR))
(COMMENT **FASL** 5631. (LAP TAB SUBR))
(COMMENT **FASL** 5661. (LAP CURRENTPOS LSUBR))
'LINK-NODE
'LEAF-NODE
'LTCC-PLIST
(COMMENT **FASL** 5677. (LAP NRML-ANL-YZE-LINFORMULA LSUBR))
(COMMENT **FASL** 5707. (LAP |NRML-FORMULA MACRO| SUBR))
(COMMENT **FASL** 5736. (LAP |NRML-ANL-YZE MACRO| SUBR))
(COMMENT **FASL** 5789. (LAP |LT-CONCEPT-TYPE MACRO| SUBR))
(COMMENT **FASL** 5840. (LAP |ADD-NEWLINK MACRO| SUBR))
(COMMENT **FASL** 5888. (LAP |LEAF-UNIT MACRO| SUBR))
(COMMENT **FASL** 5913. (LAP NORMALIZE-CMPD-CONCEPT LSUBR))
(COMMENT **FASL** 6004. (LAP INITIALIZE-CMPD-CONCEPT SUBR))
(COMMENT **FASL** 6077. (LAP |CONCEPT-BODY MACRO| SUBR))
(COMMENT **FASL** 6120. (LAP |1ST-PROCESS-↑-MATRIX MACRO| SUBR))
(COMMENT **FASL** 6176. (LAP |PROCESS-↑-MATRIX MACRO| SUBR))
(COMMENT **FASL** 6230. (LAP |COLLECT-IMAGES MACRO| SUBR))
(COMMENT **FASL** 6286. (LAP |MERGED-PKLS MACRO| SUBR))
(COMMENT **FASL** 6313. (LAP |SETUP-λ-EXPR MACRO| SUBR))
(COMMENT **FASL** 6381. (LAP |PREVIOUS-LETTER MACRO| SUBR))
(COMMENT **FASL** 6414. (LAP |ANALYZE-ADVERBIALIZATION MACRO| SUBR))
(COMMENT **FASL** 6481. (LAP |INST-KEYS MACRO| SUBR))
(COMMENT **FASL** 6543. (LAP ORDER-CNCPTS SUBR))
(COMMENT **FASL** 6548. (LAP PRECEDES-CNCPT SUBR))
(COMMENT **FASL** 6851. (LAP |GET-PKL-POSITION MACRO| SUBR))
(COMMENT **FASL** 6922. (LAP |GET-Q-OP MACRO| SUBR))
(COMMENT **FASL** 6979. (LAP |↑-ASCII MACRO| SUBR))
(COMMENT **FASL** 7006. (LAP |λ-ASCII MACRO| SUBR))
(COMMENT **FASL** 7033. (LAP |*-OR-↑-ASCII MACRO| SUBR))
(COMMENT **FASL** 7059. (LAP |*-OR-C-ASCII MACRO| SUBR))
(COMMENT **FASL** 7085. (LAP |C-ASCII MACRO| SUBR))
(COMMENT **FASL** 7112. (LAP |2:9-ASCII MACRO| SUBR))
(COMMENT **FASL** 7149. (LAP |NUMERAL-ASCII MACRO| SUBR))
(COMMENT **FASL** 7186. (LAP |λ↑-RAISE-CC-OP MACRO| SUBR))
(COMMENT **FASL** 7219. (LAP |RAISE-CC MACRO| SUBR))
(COMMENT **FASL** 7275. (LAP |RAISE-CC-OP MACRO| SUBR))
(COMMENT **FASL** 7308. (LAP |GET-BASE-OP MACRO| SUBR))
(COMMENT **FASL** 7356. (LAP |GET-S&S-KEY MACRO| SUBR))
(COMMENT **FASL** 7412. (LAP NORMRAISE-CC LSUBR))
(COMMENT **FASL** 7921. (LAP QV-QUASI-UNSUBST LSUBR))
(COMMENT **FASL** 8220. (LAP ANALYZE-CMPD-CONCEPT LSUBR))
(COMMENT **FASL** 10206. (LAP NACC LSUBR))
(COMMENT **FASL** 10248. (LAP |GET-PK-POSITION MACRO| SUBR))
(COMMENT **FASL** 10291. (LAP |GET-MERGEKEYS MACRO| SUBR))
(COMMENT **FASL** 10347. (LAP |EXPAND-MERGED-PKEYLISTS MACRO| SUBR))
(COMMENT **FASL** 10404. (LAP ANALYZE-ROLEMERGE SUBR))
(COMMENT **FASL** 10601. (LAP ATOM-CONVERTIBLE SUBR))
(COMMENT **FASL** 10651. (LAP ADJUST-λ-TERMSORT SUBR))
(COMMENT **FASL** 10686. (LAP COMMON-SUBSORT* SUBR))
(COMMENT **FASL** 10730. (LAP SUPERSORT* SUBR))
(COMMENT **FASL** 10867. (LAP |MAKE-↑-MARKER MACRO| SUBR))
(COMMENT **FASL** 10930. (LAP PATHKEY-SORT SUBR))
(COMMENT **FASL** 11081. (LAP GET-ROLELINK SUBR))
(COMMENT **FASL** 11114. (LAP |ALPHA-NTH MACRO| SUBR))
(COMMENT **FASL** 11159. (LAP TERM-SUBRANCH SUBR))
(COMMENT **FASL** 11241. (LAP COPYALLCONS SUBR))
(COMMENT **FASL** 11257. (LAP COPY-1-1-PKLS SUBR))
(COMMENT **FASL** 11294. (LAP LT-COPYALL SUBR))
(COMMENT **FASL** 11302. (LAP LT-SUBST SUBR))
(COMMENT **FASL** 11313. (LAP LT-SUBST* SUBR))
(COMMENT **FASL** 11554. (LAP SELECT&SHORTEN SUBR))
(COMMENT **FASL** 11619. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR))
(COMMENT **FASL** 11624. (LAP ORDER-PATHKEYLISTS SUBR))
(COMMENT **FASL** 11626. (LAP |PRECEDES-ARG MACRO| SUBR))
(COMMENT **FASL** 11665. (LAP COMPARE-ARGS SUBR))
(COMMENT **FASL** 11930. (LAP CA-PUNT SUBR))
(COMMENT **FASL** 11952. (LAP COMPARE-PFC-FORMULAS SUBR))
(COMMENT **FASL** 12042. (LAP COMPARE-VECTORS SUBR))
(COMMENT **FASL** 12090. (LAP |SOME-DUPLICATE-ROLEMARKS MACRO| SUBR))
(COMMENT **FASL** 12121. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR))
(COMMENT **FASL** 12141. (LAP ORDER-ROLELINKS SUBR))
(COMMENT **FASL** 12179. (LAP COMPARE-ROLEORDER SUBR))
(COMMENT **FASL** 12185. (LAP CULL-EQS SUBR))
(COMMENT **FASL** 12204. (LAP |CONDENSE-RL-KEYLISTS MACRO| SUBR))
(COMMENT **FASL** 12243. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR))
(COMMENT **FASL** 12331. (LAP |ATOM-QUASI-UNSUBST MACRO| SUBR))
(COMMENT **FASL** 12382. (LAP ANALYZE-INSTANTIATION SUBR))
(COMMENT **FASL** 12841. (LAP λ-UNSUBST LSUBR))
(COMMENT **FASL** 12956. (LAP |CC-KEY-ROLINK-NUMBER MACRO| SUBR))
(COMMENT **FASL** 13007. (LAP |INITSTR= MACRO| SUBR))
(COMMENT **FASL** 13060. (LAP λ-INST-KEY SUBR))
(COMMENT **FASL** 13136. (LAP RAISEATOM SUBR))
(COMMENT **FASL** 13185. (LAP GET-↑-MARKER SUBR))
(COMMENT **FASL** 13226. (LAP GET-↑-TALLY SUBR))
(COMMENT **FASL** 13344. (LAP LOWER-↑-ATOM SUBR))
(COMMENT **FASL** 13392. (LAP LOWER-λ-TERMSORTS SUBR))
(COMMENT **FASL** 13433. (LAP RAISE-λ-TERMSORTS SUBR))
(COMMENT **FASL** 13471. (LAP RAISE↑-TERM SUBR))
(COMMENT **FASL** 13508. (LAP |NEXTLETTER MACRO| SUBR))
(COMMENT **FASL** 13541. (LAP KEYNUMBER SUBR))
(COMMENT **FASL** 13563. (LAP |LISTCOMPS MACRO| SUBR))
(COMMENT **FASL** 13595. (LAP |EXPOUND-ANALYSIS-MODULE-1 MACRO| SUBR))
(COMMENT **FASL** 13712. (LAP POSPRINC LSUBR))
(COMMENT **FASL** 13779. (LAP ANALYZE&EXPOUND LSUBR))
(COMMENT **FASL** 14087. (LAP A&E LSUBR))
(COMMENT **FASL** 14110. (LAP FIX-AL SUBR))
(COMMENT **FASL** 14177. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR))
(COMMENT **FASL** 14345. (LAP EXPLORE-DNET LSUBR))
(COMMENT **FASL** 14523. (LAP XPDN LSUBR))
(COMMENT **FASL** 14547. (LAP GET-XPDN-COMMAND SUBR))
(COMMENT **FASL** 14551. (LAP TRAVERSE-LINKS SUBR))
(COMMENT **FASL** 14790. (LAP DISPLAY-KEYPATH SUBR))
(COMMENT **FASL** 14913. (LAP DISPLAY-NODE SUBR))
(COMMENT **FASL** 15095. (LAP EXTEND-CURRENT-KEYPATH SUBR))
(COMMENT **FASL** 15161. (LAP SHORTEN-CURRENT-NODEPATH SUBR))
(COMMENT **FASL** 15337. (LAP COUNT-LINKS&LEAVES SUBR))
(COMMENT **FASL** 15424. (LAP PRINT-PROPERTIES SUBR))
'HELP-TABLE-ENTRY
(COMMENT **FASL** 15726. (LAP XPDN-HELP SUBR))
(COMMENT **FASL** 15836. (LAP LT-EVAL SUBR))
(COMMENT **FASL** 15977. (LAP WEAKEST-STATUS SUBR))
(COMMENT **FASL** 15996. (LAP SORT-MEMBER SUBR))
(COMMENT **FASL** 16009. (LAP SORT-EXCLUSIVE SUBR))
(COMMENT **FASL** 16080. (LAP |ES-FILTER MACRO| SUBR))
(COMMENT **FASL** 16106. (LAP LT-GROSSEVAL SUBR))
(COMMENT **** (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS)
have been used but remain undefined in this file)
(COMMENT **FASL** TOTAL = 16124. WORDS)